Новая философская энциклопедия - противоречие логическое
Связанные словари
Противоречие логическое
Однако получение логического противоречия в ходе рассуждения не всегда является софистическим приемом. Так, в косвенных рассуждениях от противного (см. Доказательство косвенное) противоречие специально вводится для доказательства требуемого утверждения. В то же время, в истории познания известны многочисленные случаи, когда обнаружение логических противореий в той или иной теории затрагивало столь фундаментальные основания всего нашего знания, что вызывало коренную его перестройку. К числу таких противоречий можно отнести парадокс Лжеца, парадоксы наивной теории множеств, в частности парадокс Рассела и многое другие, известные как логические и семантические парадоксы (см. Парадокс логический. Парадоксы семантические). Собственно говоря, они указывают на то, что наши интуиции, которые первоначально казались такими прозрачными и ясными и не вызывали никаких сомнений, на самом деле при ближайшем рассмотрении оказываются некорректными. Поэтому обнаружение парадоксов указывает на необходимость введения в теории некоторых ограничений на способы их построения.
В настоящее время под влиянием логических работ П. А. Васильеве строятся системы т. н. паранепротиворечивых логик, в составе которых допускается наличие логических противоречий. Однако сами эти исчисления строятся т. о., чтобы метатеоретическое свойство непротиворечивости для них сохранялось.
В. А. Бочаров
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2281 | |
2 | 1805 | |
3 | 1761 | |
4 | 1755 | |
5 | 1664 | |
6 | 1607 | |
7 | 1514 | |
8 | 1486 | |
9 | 1484 | |
10 | 1466 | |
11 | 1437 | |
12 | 1436 | |
13 | 1414 | |
14 | 1408 | |
15 | 1309 | |
16 | 1284 | |
17 | 1270 | |
18 | 1263 | |
19 | 1253 | |
20 | 1240 |